<html>
<body>
This intention replaces either
<table>
  <tr>
    <td> &nbsp;&nbsp;&nbsp;</td>
    <td>
      <b>a || b</b> with <b>!(!a && !b)</b> or
    </td>
  </tr>
  <tr>
    <td> &nbsp;&nbsp;&nbsp;</td>
    <td>
      <b>a && b</b> with <b>!(!a || !b)</b>
    </td>
  </tr>
</table>

inside boolean expression.
</body>
</html>
